formulation of lpp in operation research